perm filename CONT.XGP[AM,DBL] blob sn#400100 filedate 1978-11-29 generic text, type T, neo UTF8
/LMAR=50/TMAR=50/RMAR=4095/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/USETI=0000056*TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX*

␈βα≤␈↓ ∧z␈ε≡C␈α␈ONTE␈α↓N␈α␈TS
␈βαi␈↓ ↓H␈ελs␈↓ ↓W␈ελe␈↓ ↓e␈ελc␈↓ ↓s␈ελt␈↓ α␈ελi␈↓ α∞␈ελo␈↓ α≥␈ελn␈↓ αP␈εα.␈↓ αt␈εα.␈↓ β_␈εα.␈↓ β<␈εα.␈↓ β`␈εα.␈↓ ∧¬␈εα.␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
i␈ελp␈↓ 
{␈ελa␈↓ 
␈ελg␈↓ ≡␈ελe
␈ββε␈↓ ↓H␈∧βε↓Hαk
␈ββ
␈↓ 
i␈∧β
iαD
␈ββ1␈↓ ↓H␈ε∩1.1.␈α_O␈α␈VER␈α{VIEW␈↓ ∧¬␈ε∩.␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ ~␈ε∩2
␈ββ\␈↓ ↓Z␈εα1.1.1␈αAbstract␈↓ β`␈εα.␈↓ ∧¬␈εα.␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ ~␈εα2
␈β∧π␈↓ ↓Z␈εα1.1.2␈αFiv␈α␈e-page␈αSummary␈αof␈αthe␈αProject␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ ~␈εα3
␈β∧3␈↓ ~␈εα3
␈β∧8␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈2␈α↓.␈α␈1.␈α∀Detour:␈α	A␈α↓nal␈α␈ysis␈α
of␈αa␈α
dis␈α␈co␈α␈ve␈α␈ry␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∧↑␈↓ λ␈εα99
␈β∧c␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈2␈α↓.␈α␈2.␈α∀What␈α
AM␈αdoes:␈α	Syn␈α␈these␈α␈s␈α
o␈α↓f␈α
disc␈α␈ov␈α␈e␈α␈rie␈α␈s␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬	␈↓ λ␈εα99
␈β¬∞␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈2␈α↓.␈α␈3.␈α∀Resul␈α␈ts␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬4␈↓ λ␈εα99
␈β¬9␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈2␈α↓.␈α␈4.␈α∀Concl␈α␈usions␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬←␈↓ ↓Z␈εα1.1.3␈αViewing␈αAM␈αas␈αsome␈αcommon␈αprocess␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βε␈↓ λ␈εα99
␈βε⊂␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈3␈α↓.␈α␈1.␈α∀AM␈αas␈α
Hil␈α␈l-cl␈α␈im␈α}bing␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βε6␈↓ λ␈εα99
␈βε;␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈3␈α↓.␈α␈2.␈α∀AM␈αas␈α
Heuri␈α␈stic␈α	Search␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βεa␈↓ λ␈εα99
␈βεf␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈3␈α↓.␈α␈3.␈α∀AM␈αas␈α
a␈αMathem␈α␈atic␈α␈ian␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπ␈↓ λ␈εα99
␈βπ⊃␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈3␈α↓.␈α␈4.␈α∀AM␈αas␈α
a␈αBoo␈α↓k␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπF␈↓ ↓H␈ε∩1.2.␈α_EXAMPLE:␈αDisco␈α␈v␈α␈ering␈αPrime␈αNum␈α␈bers␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈βπq␈↓ ↓Z␈εα1.2.1␈αDiscussion␈αof␈αthe␈αAM␈αProgram␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βλ≤␈↓ λ␈εα99
␈βλ!␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈1␈α↓.␈α␈1.␈α∀Repre␈α␈sen␈α␈tation␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλG␈↓ λ␈εα99
␈βλL␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈1␈α↓.␈α␈2.␈α∀Ag␈α↓e␈α␈nda␈αand␈α
Heuri␈α␈stic␈α␈s␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλs␈↓ ↓Z␈εα1.2.2␈αWhat␈α(not)␈αto␈αget␈αout␈αof␈αthis␈αexample␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β	≡␈↓ ↓Z␈εα1.2.3␈αDeciphering␈αthe␈αExample␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β	I␈↓ ↓Z␈εα1.2.4␈αThe␈αExample␈αItself␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β	t␈↓ ↓Z␈εα1.2.5␈αRecapping␈αthe␈αExample␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β
.␈↓ ↓H␈ε∩1.3.␈α_A␈α␈GENDA␈↓ β`␈ε∩.␈↓ ∧¬␈ε∩.␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈β
Y␈↓ ↓Z␈εα1.3.1␈αAM's␈αSearch␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∧␈↓ ↓Z␈εα1.3.2␈αConstraining␈αAM's␈αSearch␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β/␈↓ ↓Z␈εα1.3.3␈αThe␈αAgenda␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β[␈↓ λ␈εα99
␈β`␈↓ ↓}␈ε⊃1.␈α␈3␈α↓.␈α␈3␈α↓.␈α␈1.␈α∀Wh␈α␈y␈α
an␈αAgenda?␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βε␈↓ λ␈εα99
␈β␈↓ ↓}␈ε⊃1.␈α␈3␈α↓.␈α␈3␈α↓.␈α␈2.␈α∀Detai␈α␈ls␈α
of␈αthe␈α	Ag␈α↓e␈α␈nda␈αsc␈α␈hem␈α␈e␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β?␈↓ ↓H␈ε∩1.4.␈α_HEURISTICS␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈βj␈↓ ↓Z␈εα1.4.1␈αSyn␈α␈tax␈αof␈αthe␈αHeuristics␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β
⊗␈↓ λ␈εα99
␈β
≠␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈1␈α↓.␈α␈1.␈α∀Syn␈α␈ta␈α↓x␈α
of␈α
the␈α
L␈α↓e␈α␈ft-ha␈α↓nd␈α
Si␈α␈de␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
A␈↓ λ␈εα99
␈β
F␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈1␈α↓.␈α␈2.␈α∀Syn␈α␈ta␈α↓x␈α
of␈α
the␈α
Righ␈α␈t-hand␈αSi␈α␈de␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
l␈↓ ↓Z␈εα1.4.2␈αHeuristics␈αSuggest␈αNew␈αTasks␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∞↔␈↓ λ␈εα99
␈β∞≤␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈2␈α↓.␈α␈1.␈α∀An␈αIl␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
\F␈α↓i␈α␈ll␈α
i␈α␈n␈α
Gene␈α␈rali␈α␈zations␈α
of␈αEq␈α↓ual␈α␈ity"␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∞B␈↓ λ␈εα99
␈β∞G␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈2␈α↓.␈α␈2.␈α∀The␈α
Ratings␈α
Game␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∞n␈↓ ↓Z␈εα1.4.3␈αHeuristics␈αCreate␈αNew␈αConcepts␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∂→␈↓ λ␈εα99
␈β∂≡␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈3␈α↓.␈α␈1.␈α∀An␈αIl␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
Di␈α␈sco␈α␈ve␈α␈ring␈α
Pri␈α␈me␈α␈s␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∂D␈↓ λ␈εα99
␈β∂I␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈3␈α↓.␈α␈2.␈α∀The␈α
Theory␈α
o␈α↓f␈α
Cre␈α␈a␈α↓t␈α␈ing␈α
New␈α
Conce␈α␈pts␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∂o␈↓ λ␈εα99
␈β∂t␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈3␈α↓.␈α␈3.␈α∀Ano␈α↓the␈α␈r␈α
Ill␈α␈ustration:␈α
Squaring␈α
a␈αn␈α␈um␈α␈be␈α␈r␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊂~␈↓ ↓Z␈εα1.4.4␈αHeuristics␈αFill␈αin␈αEn␈α␈tries␈αfor␈αa␈αFacet␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β⊂F␈↓ λ␈εα99
␈β⊂K␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈4␈α↓.␈α␈1.␈α∀An␈αIl␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
\F␈α↓i␈α␈ll␈α
i␈α␈n␈α
E␈α↓xam␈α␈ples␈α
of␈α
Set-union"␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊂q␈↓ λ␈εα99
␈β⊂v␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈4␈α↓.␈α␈2.␈α∀Heuri␈α␈stic␈α␈s␈α
Propo␈α↓s␈α␈e␈α
New␈α
Conjec␈α␈tures␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊃≤␈↓ λ␈εα99
␈β⊃!␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈4␈α↓.␈α␈3.␈α∀An␈αIl␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
\A␈α↓l␈α␈l␈α
pri␈α␈me␈α␈s␈α
ex␈α␈ce␈α␈pt␈α
2␈αare␈α
odd"␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∪(

␈βα(␈↓ λ␈εα99
␈βα-␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈4␈α↓.␈α␈4.␈α∀Ano␈α↓the␈α␈r␈α
il␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
Di␈α␈sco␈α␈ve␈α␈ring␈α
Unique␈α
Factoriz␈α␈a␈α↓t␈α␈ion␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βαS␈↓ ↓Z␈εα1.4.5␈αGathering␈αRelevan␈α␈t␈αHeuristics␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βα}␈↓ λ␈εα99
␈βββ␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈5␈α↓.␈α␈1.␈α∀Domain␈α
of␈αAppl␈α␈ic␈α␈a␈α↓bi␈α␈li␈α␈ty␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈ββ*␈↓ λ␈εα99
␈ββ/␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈5␈α↓.␈α␈2.␈α∀Rippl␈α␈ing␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈ββU␈↓ λ␈εα99
␈ββZ␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈5␈α↓.␈α␈3.␈α∀Order␈α␈ing␈α
the␈α
Rel␈α␈evan␈α␈t␈α
Heuri␈α␈stic␈α␈s␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∧␈↓ ↓Z␈εα1.4.6␈αAM's␈αStarting␈αHeuristics␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∧+␈↓ λ␈εα99
␈β∧0␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈6␈α↓.␈α␈1.␈α∀Heuri␈α␈stic␈α␈s␈α
Grouped␈α
by␈α
the␈α
Kno␈α␈wle␈α␈dg␈α↓e␈α
The␈α␈y␈α
E␈α↓m␈α␈body␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∧V␈↓ λ␈εα99
␈β∧[␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈6␈α↓.␈α␈2.␈α∀Heuri␈α␈stic␈α␈s␈α
Grouped␈α
by␈α
How␈α
Spec␈α␈i|c␈α
The␈α␈y␈αAre␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬≠␈↓ ↓H␈ε∩1.5.␈α_CONCEPTS␈↓ ∧¬␈ε∩.␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈β¬F␈↓ ↓Z␈εα1.5.1␈αMotivation␈αand␈αOv␈α␈erview␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β¬q␈↓ λ␈εα99
␈β¬v␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈1␈α↓.␈α␈1.␈α∀A␈αG␈α␈li␈α␈mpse␈α
of␈α
a␈αTypi␈α␈cal␈α
Conce␈α␈pt␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βε≤␈↓ λ␈εα99
␈βε!␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈1␈α↓.␈α␈2.␈α∀The␈α
mai␈α␈n␈αc␈α␈o␈α↓ns␈α␈tra␈α↓i␈α␈n␈α␈t:␈α
Fix␈α␈e␈α␈d␈αse␈α␈t␈α
o␈α↓f␈α
facets␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βεH␈↓ λ␈εα99
␈βεM␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈1␈α↓.␈α␈3.␈α∀B␈α↓EINGs␈α
Re␈α␈prese␈α␈ntati␈α␈o␈α↓n␈α
of␈α
Knowl␈α␈edge␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βεs␈↓ ↓Z␈εα1.5.2␈αFacets␈↓ β<␈εα.␈↓ β`␈εα.␈↓ ∧¬␈εα.␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βπ≡␈↓ λ␈εα99
␈βπ#␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈1.␈α∀Gene␈α␈rali␈α␈zations/Spec␈α␈iali␈α␈zations␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπI␈↓ λ␈εα99
␈βπN␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈2.␈α∀E␈α↓xam␈α␈ples␈α␈/␈α↓Isa's␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπt␈↓ λ␈εα99
␈βπy␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈3.␈α∀In-␈α↓D␈α␈o␈α↓m␈α␈a␈α↓i␈α␈n-o␈α↓f/In-Ra␈α↓nge-of␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλ ␈↓ λ␈εα99
␈βλ%␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈4.␈α∀Vie␈α␈w␈α↓s␈↓ βa␈ε⊃.␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλK␈↓ λ␈εα99
␈βλP␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈5.␈α∀Int␈α␈uiti␈α␈o␈α↓ns␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλv␈↓ λ␈εα99
␈βλ{␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈6.␈α∀Ana␈α↓l␈α␈og␈α↓i␈α␈es␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β	!␈↓ λ␈εα99
␈β	&␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈7.␈α∀Conj␈α↓e␈α␈c'␈α␈s␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈